Formalized Mathematics
数学の形式化された証明についての
ジャーナル
.
https://sciendo.com/journal/FORMA
Memo
Freek Wiedijk; "Arrow’s Impossibility Theorem"
なお
Freek Wiedijk; "Formalizing Arrow’s theorem"
を読んだほうが良いと思う.